Automated Software Test Data Generation: Direction of Research
نویسندگان
چکیده
منابع مشابه
Automated Software Test Data Generation: Direction of Research
In this paper we are giving an overview of automatic test data generation. The basic objective of this paper is to acquire the basic concepts related to automated test data generation research. The different implementation techniques are described with their relative merits and demerits. The future challenges and problems of test data generation are explained. Finally we describe the area where...
متن کاملAutomated Software Test Data Generation
Abstracr-Test data generation in program testing is the process of identifying a set of test data which satisfies given testing criterion. Most of the existing test data generators 161, [It], [lo], [16], [30] use symbolic evaluation to derive test data. However, in practical programs this technique frequently requires complex algebraic manipulations, especially in the presence of arrays. In thi...
متن کاملAutomated Test-Data Generation from Formal Models of Software
ion for Model Checking Software Systems with In-terrelated Numeric Constraints. In 9th ACM Foundations of Sofware Eng. Symp., September 2001.[2] M. P. E. Heimdahl, S. Rayadurgam, and W. Visser. Specification Centered Testing. In 2nd Automated Program Analysis,Testing and Verification Workshop, May 2001.[3] S. Rayadurgam and M. P. E. Heimdahl. Coverage Based TestCase Generation U...
متن کاملAutomated Software Test Data Generation for Complex Programs
We report on GADGET a new software test generation system that uses combinatorial optimization to obtain condition decision coverage of C C programs The GADGET system is fully automatic and supports all C C language constructs This allows us to generate tests for programs more complex than those previously reported in the literature We address a number of issues that are encountered when automa...
متن کاملAutomated Test Generation and Verified Software
Testing remains the principal means of verification in commercial practice and in many certification regimes. Formal methods of verification will coexist with testing and should be developed in ways that improve, supplement, and exploit the value of testing. I describe automated test generation, which uses technology from formal methods to mechanize the construction of test cases, and discuss s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Computer Science & Engineering Survey
سال: 2011
ISSN: 0976-3252
DOI: 10.5121/ijcses.2011.2108